\TODO{add revision information}

\TODO{Add introductory section?  Describe Plaid and explain the
structure of the document.}

\TODO{Describe how the document can be revised.  JCP: there should be
an implementation before a decision is made on revisions.}

\input{conventions}

\input{lexing}

\input{expressions}

\include{types}

\input{compilation-units}

%\input{semantics}


%\bibliographystyle{plain}
%\small
%\bibliography{references}

%\newpage
%\appendix
%\input{tex/appendix.tex}
